Une nouvelle formalisation des changements ontologiques composés et complexes
نویسندگان
چکیده
Résumé. L’évolution d’une ontologie est un processus indispensable dans son cycle de vie. Elle est exprimée et définie par des changements ontologiques de différents types : élémentaires, composés et complexes. Les changements complexes et composés sont très utiles dans le sens où ils aident l’utilisateur à adapter son ontologie sans se perdre dans les détails des changements élémentaires. Cependant, ils cachent derrière une formalisation sophistiquée puisqu’ils affectent, à la fois, plusieurs entités ontologiques et peuvent causer des inconsistances à l’ontologie évoluée. Pour adresser cette problématique, cet article présente une nouvelle formalisation des changements ontologiques composés et complexes basée sur les grammaires de graphes typés. Cette formalisation s’appuie sur l’approche algébrique Simple Pushout (SPO) de transformation de graphes et possède deux principaux avantages : (1) fournir une nouvelle formalisation permettant de contrôler les transformations de graphes et éviter les incohérences d’une manière a priori, (2) simplifier la définition des changements composés et complexes en réduisant le nombre de changements élémentaires nécessaires à leur application.
منابع مشابه
Adaptation consistante d'ontologies à l'aide des grammaires de graphes
Résumé : Les ontologies tendent à intégrer le cœur de tout système d’information. Les domaines évoluant sans cesse, les ontologies doivent elles même pouvoir s’adapter. Dans ce contexte, l’article propose la formalisation du concept d’adaptation basée sur les grammaires de graphes, ce qui permet notamment de gérer les changements des ontologies et de définir une approche à priori de résolution ...
متن کاملMaladies contagieuses non parasitaires-sur une nouvelle méthode de vaccination contre la pasteurellose des bovins et des buffles
متن کامل
A formal model for lexical descriptions: Typed feature-structure in the formalism BDéf
RÉSUMÉ. L’article s’intéresse à la formalisation, dans une optique de calcul, des définitions lexicographiques BDéf (Altman et Polguère, 2003). La richesse informationnelle de ces définitions laisse envisager de nombreux calculs utiles aussi bien à la pratique lexicographique qu’à une réflexion plus générale sur la modélisation du sens lexical. De tels calculs ne peuvent toutefois être mis en œ...
متن کاملUtilisation de relations ontologiques pour la comparaison d'images décrites par des annotations sémantiques
Résumé. Face à la complexité des nouvelles générations d’images médicales, les processus de recherche d’images basés sur leurs contenus visuels peuvent s’avérer insuffisants. Cet article propose une nouvelle approche basée sur l’annotation des images via des termes sémantiques pouvant pallier ce problème. Elle repose sur la combinaison d’une distance hiérarchique permettant de comparer les imag...
متن کاملFormalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques
Résumé : Le diagnostic des infections orthopédiques est un processus complexe, long, fastidieux et coûteux. Sa complexité vient du fait que beaucoup d’infections peuvent prendre plusieurs mois pour se développer. Dans le cas d’infections aigües, une réaction rapide est nécessaire pour endiguer le mal. Le diagnostic d’infections orthopédiques implique une approche pluridisciplinaire car elle néc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015